Modelling Sealed Containers in Z
نویسندگان
چکیده
Physical means of securing information, such as sealed envelopes and scratch cards, can be used to achieve cryptographic objectives, including ones that are hard or impossible by electronic means. So far, descriptions of such mechanisms have been informal, and as a consequence so has the associated reasoning. This paper3 takes a formal methods approach to these physical cryptography primitives. A model of distinguishable sealed envelopes is given in Z, exploring some of the design decisions and avenues for further analysis and development of such models.
منابع مشابه
Comparison of temporal changes in components of formalin guaiacol under several storage conditions.
This study examined the effects of storage conditions such as time course, temperature, fluorescent light, and darkness on the components and antibacterial activity of formalin guaiacol (FG) used in endodontic treatment. We measured the quantities of formaldehyde and guaiacol in FG and antibacterial activities against Staphylococcus aureus, Porphyromonas gingivalis, and Porphyromonas endodontal...
متن کاملHermetic storage of wheat and maize flour protects against red flour beetle (Tribolium castaneum Herbst)
Hermetic storage is used to protect grain against insect pests, but its utility is not limited to whole grains. We evaluated hermetically-sealed, polyethylene terephthalate (PET) bottles for preserving wheat and maize flour against red flour beetle (RFB, Tribolium castaneum, Herbst) population growth. Flours infested with RFB and kept in sealed PET bottles experienced much less weight loss over...
متن کاملContamination of the environment by special purpose centrifuges used in clinical laboratories.
The generation of aerosols and the contamination of surfaces arising from the use of a number of special purpose centrifuges have been measured. Except when sealed containers were used all the equipment tested generated airborne particles and contaminated surrounding surfaces. The magnitude of this contamination was shown to be associated with several factors, and it could be considerably reduc...
متن کاملTesting the Integrity of Liquid Containing Hermetically Sealed Containers by the Use of Radioactive Markers
متن کامل
Comparison of Sealing and Open Conditions for Long Term Storage of Corn Stover Using Low-Moisture Anhydrous Ammonia Pretreatment Method
As a promising material for bioethanol production, corn stover has been studied under various pretreatment methods prior to production of bioethanol. However, the storage of pretreated corn stover is still challenged by both weather conditions and the physical properties of its own. The objective of this experiment is to evaluate the effect of low-moisture anhydrous ammonia (LMAA) pretreatment ...
متن کامل